Igf1<tm1.1Hko> targeted mutation 1.1, Haruhiko Koseki